how does gps work aviation